Trump dice opción militar en Corea del Norte no es la preferida, pero sería "devastadora"